axiom of constructivity

可构成性公理